Dianxiang Xu,: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Identifying suspicious addresses in Bitcoin thefts

Wu, Yan, Luo, Anthony, Xu, Dianxiang

Journal:

Digital Investigation

Year:

2019

File:

PDF, 2.38 MB

2019

2

[IEEE 2012 6th International Conference on Software Security and Reliability (SERE) - Gaithersburg, MD, USA (2012.06.20-2012.06.22)] 2012 IEEE Sixth International Conference on Software Security and Reliability - Mining Executable Specifications of Web Applications from Selenium IDE Tests

Xu, Dianxiang, Xu, Weifeng, Bavikati, Bharath K., Wong, W. Eric

Year:

2012

Language:

english

File:

PDF, 704 KB

english, 2012

3

Towards an object-oriented logic framework for knowledge based systems

Journal:

Knowledge-Based Systems

Year:

1998

Language:

english

File:

PDF, 827 KB

english, 1998

4

A threat model-based approach to security testing

Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri, Dianxiang Xu

Journal:

Software: Practice and Experience

Year:

2012

Language:

english

File:

PDF, 1.10 MB

english, 2012

5

AUTOMATED TEST CODE GENERATION FROM CLASS STATE MODELS

XU, DIANXIANG, XU, WEIFENG, WONG, W. ERIC

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2009

Language:

english

File:

PDF, 330 KB

english, 2009

6

[IEEE 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Lisbon (2018.7.16-2018.7.20)] 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Model-Based Testing of Obligatory ABAC Systems

Khamaiseh, Samer, Chapman, Patrick, Xu, Dianxiang

Year:

2018

Language:

english

File:

PDF, 431 KB

english, 2018

7

[IEEE 2019 IEEE International Conference on Intelligence and Security Informatics (ISI) - Shenzhen, China (2019.7.1-2019.7.3)] 2019 IEEE International Conference on Intelligence and Security Informatics (ISI) - Forensic Analysis of Bitcoin Transactions

Wu, Yan, Luo, Anthony, Xu, Dianxiang

Year:

2019

Language:

english

File:

PDF, 941 KB

english, 2019

8

[IEEE Comput. Soc Technology of Object-Oriented Languages and Systems. TOOLS 31 - Nanjing, China (22-25 Sept. 1999)] Proceedings Technology of Object-Oriented Languages and Systems (Cat. No.PR00393) - Reasoning about inheritance and cloning behaviors of software agents

Fan Xiaocong,, Xu Dianxiang,, Zheng Guoliang,

Year:

1999

Language:

english

File:

PDF, 432 KB

english, 1999

9

An Automated Test Generation Technique for Software Quality Assurance

Xu, Dianxiang, Xu, Weifeng, Kent, Michael, Thomas, Lijo, Wang, Linzhang

Journal:

IEEE Transactions on Reliability

Year:

2015

Language:

english

File:

PDF, 2.75 MB

english, 2015

10

[IEEE Comput. Soc. Press Sixth International Conference on Tools with Artificial Intelligence. TAI 94 - New Orleans, LA, USA (6-9 Nov. 1994)] Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 - KBMDL: a knowledge based model description language for decision support

Shifu Chen,, Dianxiang Xu,

Year:

1994

Language:

english

File:

PDF, 384 KB

english, 1994

11

[ACM Press the 2011 ACM Symposium - TaiChung, Taiwan (2011.03.21-2011.03.24)] Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11 - Security mutation testing of the FileZilla FTP server

Woodraska, Daniel, Sanford, Michael, Xu, Dianxiang

Year:

2011

Language:

english

File:

PDF, 1.49 MB

english, 2011

12

Reasoning about team tracking

Fan, Xiaocong, Xu, Dianxiang, Hou, Jianmin, Zheng, Guoliang

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1998

Language:

english

File:

PDF, 443 KB

english, 1998

13

Inheritance as sublation and its semantics

Xu, Dianxiang, Zheng, Guoliang

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1995

Language:

english

File:

PDF, 465 KB

english, 1995

14

A multi-agent design for sense and respond logistics simulation

Lundell, Martin C., Xu, Dianxiang, Tolliver, Denver, Nygard, Kendall E.

Journal:

World Review of Intermodal Transportation Research

Year:

2007

Language:

english

File:

PDF, 445 KB

english, 2007

15

Detecting Incorrect Uses of Combining Algorithms in XACML 3.0 Policies

Xu, Dianxiang, Shen, Ning, Zhang, Yunpeng

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2015

Language:

english

File:

PDF, 230 KB

english, 2015

16

Network slicing to improve multicasting in HPC clusters

Alsmadi, Izzat, Khreishah, Abdallah, Xu, Dianxiang

Journal:

Cluster Computing

Year:

2018

Language:

english

File:

PDF, 1.70 MB

english, 2018

17

[ACM Press the Eighth ACM Conference - Tempe, AZ, USA (2018.03.19-2018.03.21)] Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy - CODASPY '18 - Model Checking of Security Properties in Industrial Control Systems (ICS)

Shrestha, Roshan, Mehrpouyan, Hoda, Xu, Dianxiang

Year:

2018

Language:

english

File:

PDF, 1.05 MB

english, 2018

18

Specifying behavioral semantics of UML diagrams through graph transformations

Jun Kong, Kang Zhang, Jing Dong, Dianxiang Xu

Journal:

Journal of Systems and Software

Year:

2009

Language:

english

File:

PDF, 1023 KB

english, 2009

19

A logic based language for networked agents

Journal:

Information and Software Technology

Year:

1998

Language:

english

File:

PDF, 399 KB

english, 1998

20

Reasoning about concurrent actions in multi-agent systems

Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng

Journal:

Journal of Computer Science and Technology

Year:

1999

Language:

english

File:

PDF, 555 KB

english, 1999

21

Testing aspect-oriented programs with finite state machines

Dianxiang Xu, Omar El-Ariss, Weifeng Xu, Linzhang Wang

Journal:

Software Testing, Verification and Reliability

Year:

2012

Language:

english

File:

PDF, 1.55 MB

english, 2012

22

Towards a declarative semantics of inheritance with exceptions

Dianxiang Xu, Guoliang Zheng

Journal:

Journal of Computer Science and Technology

Year:

1996

Language:

english

File:

PDF, 605 KB

english, 1996

23

Logical object as a basis of knowledge based systems

Dianxiang Xu, Guoliang Zheng

Journal:

Journal of Computer Science and Technology

Year:

1995

Language:

english

File:

PDF, 814 KB

english, 1995

24

Integrating Safety Analysis With Functional Modeling

El Ariss, O., Dianxiang Xu, Wong, W.E.

Journal:

IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans

Year:

2011

Language:

english

File:

PDF, 583 KB

english, 2011

25

Compositional schedulability analysis of real-time systems using time Petri nets

Dianxiang Xu, Xudong He, Yi Deng

Journal:

IEEE Transactions on Software Engineering

Year:

2002

Language:

english

File:

PDF, 452 KB

english, 2002

26

A formal architectural model for logical agent mobility

Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding

Journal:

IEEE Transactions on Software Engineering

Year:

2003

Language:

english

File:

PDF, 475 KB

english, 2003

27

Towards Better Fault Localization: A Crosstab-Based Statistical Approach

Wong, W.E., Debroy, V., Dianxiang Xu

Journal:

IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)

Year:

2012

Language:

english

File:

PDF, 1.22 MB

english, 2012

28

[IEEE 2008 32nd Annual IEEE International Computer Software and Applications Conference - Turku, Finland (2008.07.28-2008.08.1)] 2008 32nd Annual IEEE International Computer Software and Applications Conference - A UML-Based Framework for Design and Analysis of Dependable Software

Kong, Jun, Xu, Dianxiang

Year:

2008

Language:

english

File:

PDF, 237 KB

english, 2008

29

[IEEE 2012 IEEE 36th Annual Computer Software and Applications Conference - COMPSAC 2012 - Izmir, Turkey (2012.07.16-2012.07.20)] 2012 IEEE 36th Annual Computer Software and Applications Conference - A Methodology for Building Effective Test Models with Function Nets

Xu, Dianxiang, Chu, William

Year:

2012

Language:

english

File:

PDF, 568 KB

english, 2012

30

[ACM Press the 17th ACM symposium - Newark, New Jersey, USA (2012.06.20-2012.06.22)] Proceedings of the 17th ACM symposium on Access Control Models and Technologies - SACMAT '12 - A model-based approach to automated testing of access control policies

Xu, Dianxiang, Thomas, Lijo, Kent, Michael, Mouelhi, Tejeddine, Le Traon, Yves

Year:

2012

Language:

english

File:

PDF, 713 KB

english, 2012

31

Toward a mature industrial practice of software test automation

Zhu, Hong, Hoffman, Daniel, Hughes, John, Xu, Dianxiang

Journal:

Software Quality Journal

Year:

2014

Language:

english

File:

PDF, 100 KB

english, 2014

32

[IEEE 2013 IEEE 37th International Computer Software and Applications Conference Workshops (COMPSACW) - Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops - An UML Behavior Diagram Based Automatic Testing Approach

Chang, Chih-Hung, Lu, Chih-Wei, Chu, William C., Huang, Xin-Hao, Xu, Dianxiang, Hsu, Tse-Chuan, Lai, Yu-Bin

Year:

2013

Language:

english

File:

PDF, 2.53 MB

english, 2013

33

[IEEE International Conference on Expert Systems for Development - Bangkok, Thailand (28-31 March 1994)] Proceedings of International Conference on Expert Systems for Development - A hybrid knowledge representation based on logical objects

Dianxiang Xu,, Jingui Pan,, Guoliang Zheng,

Year:

1994

Language:

english

File:

PDF, 540 KB

english, 1994

34

[IEEE 2014 IEEE 8th International Conference on Software Security and Reliability-Companion (SERE-C) - San Francisco, CA, USA (2014.6.30-2014.7.2)] 2014 IEEE Eighth International Conference on Software Security and Reliability-Companion - Specification and Analysis of Attribute-Based Access Control Policies: An Overview

Xu, Dianxiang, Zhang, Yunpeng

Year:

2014

Language:

english

File:

PDF, 378 KB

english, 2014

35

[IEEE 30th Annual International Computer Software and Applications Conference (COMPSAC'06) - Chicaco, IL (2006.09.17-2006.09.21)] 30th Annual International Computer Software and Applications Conference (COMPSAC'06) - An Aspect-Oriented Approach to Security Requirements Analysis

Xu, Dianxiang, Goel, Vivek, Nygard, Kendall

Year:

2006

Language:

english

File:

PDF, 105 KB

english, 2006

36

[IEEE Comput. Soc First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98) - Kyoto, Japan (20-22 April 1998)] Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98) - SPLAW: A computable agent-oriented programming language

Fan Xiaocong,, Xu Dianxiang,, Hou Jianmin,, Zheng Guoliang,

Year:

1998

Language:

english

File:

PDF, 110 KB

english, 1998

37

[IEEE Comput. Soc 11th IEEE International Conference on Engineering of Complex Computer Systems - Stanford, CA, USA (15-17 Aug. 2006)] 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) - Integrating functional and security requirements with use case decomposition

Pauli, J., Dianxiang Xu,

Year:

2006

Language:

english

File:

PDF, 229 KB

english, 2006

38

[IEEE IEEE International Conference on Systems, Man, and Cybernetics - Nashville, TN, USA (8-11 Oct. 2000)] SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166) - Modeling mobile agent systems with high level Petri nets

Dianxiang Xu,, Yi Deng,

Year:

2000

Language:

english

File:

PDF, 602 KB

english, 2000

39

[IEEE 2008 32nd Annual IEEE International Computer Software and Applications Conference - Turku, Finland (2008.07.28-2008.08.1)] 2008 32nd Annual IEEE International Computer Software and Applications Conference - A Systematic Approach for Integrating Fault Trees into System Statecharts

Ariss, Omar El, Xu, Dianxiang, Wong, W. Eric, Chen, Yuting, Lee, Yann-Hang

Year:

2008

Language:

english

File:

PDF, 375 KB

english, 2008

40

[IEEE 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI) - Shanghai, China (2009.07.8-2009.07.10)] 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement - A Comparative Study of Access Control Languages

Pinagapani, Sathish, Xu, Dianxiang, Kong, Jun

Year:

2009

Language:

english

File:

PDF, 678 KB

english, 2009

41

[IEEE Comput. Soc 15th IEEE International Conference on Tools with Artificial Intelligence - Sacramento, CA, USA (3-5 Nov. 2003)] Proceedings. 15th IEEE International Conference on Tools with Artificial Intelligence - Human-agent teamwork for distributed team training

Dianxiang Xu,, Volz, R.A., Miller, M.S., Plymale, J.

Year:

2003

Language:

english

File:

PDF, 242 KB

english, 2003

42

[IEEE Third International Workshop on Software Engineering for Secure Systems (SESS'07: ICSE Workshops 2007) - Minneapolis, MN, USA (2007.05.20-2007.05.26)] Third International Workshop on Software Engineering for Secure Systems (SESS'07: ICSE Workshops 2007) - A Threat Model Driven Approach for Security Testing

Wang, Linzhang, Wong, Eric, Xu, Dianxiang

Year:

2007

Language:

english

File:

PDF, 128 KB

english, 2007

43

[IEEE 2014 8th IEEE International Conference on Software Security and Reliability (SERE) - San Francisco, California, USA (2014.6.30-2014.7.2)] 2014 Eighth International Conference on Software Security and Reliability - Rule-Based Test Input Generation from Bytecode

Xu, Weifeng, Ding, Tao, Xu, Dianxiang

Year:

2014

Language:

english

File:

PDF, 695 KB

english, 2014

44

[IEEE 2011 IEEE 35th Annual Computer Software and Applications Conference - COMPSAC 2011 - Munich, Germany (2011.07.18-2011.07.22)] 2011 IEEE 35th Annual Computer Software and Applications Conference - Reach Availability Modeling of Replicated Services

Tu, Manghui, Xu, Dianxiang, Xia, Zhonghang, Fu, Jicheng

Year:

2011

Language:

english

File:

PDF, 368 KB

english, 2011

45

[IEEE 2013 International Conference on Computing, Networking and Communications (ICNC 2013) - San Diego, CA (2013.1.28-2013.1.31)] 2013 International Conference on Computing, Networking and Communications (ICNC) - Testing access control and obligation policies

Dianxiang Xu,, Sanford, M., Zhaoliang Liu,, Emry, M., Brockmueller, B., Johnson, S., To, M.

Year:

2013

Language:

english

File:

PDF, 800 KB

english, 2013

46

[IEEE 2011 International Conference on Secure Software Integration and Reliability Improvement (SSIRI) - Jeju Island, Korea (South) (2011.06.27-2011.06.29)] 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Towards an Enhanced Design Level Security: Integrating Attack Trees with Statecharts

Ariss, Omar El, Wu, Jianfei, Xu, Dianxiang

Year:

2011

Language:

english

File:

PDF, 420 KB

english, 2011

47

[IEEE 2010 Seventh International Conference on Information Technology: New Generations - Las Vegas, NV, USA (2010.04.12-2010.04.14)] 2010 Seventh International Conference on Information Technology: New Generations - A Systematic Capture and Replay Strategy for Testing Complex GUI Based Java Applications

El Ariss, Omar, Xu, Dianxiang, Dandey, Santosh, Vender, Brad, McClean, Phil, Slator, Brian

Year:

2010

Language:

english

File:

PDF, 844 KB

english, 2010

48

[IEEE 2009 International Conference on Software Testing, Verification, and Validation Workshops - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing, Verification, and Validation Workshops - Automated Evaluation of Runtime Object States against Model-Level States for State-Based Test Execution

Xu, Weifeng, Xu, Dianxiang

Year:

2009

Language:

english

File:

PDF, 313 KB

english, 2009

49

[IEEE 2014 IEEE 38th International Computer Software and Applications Conference Workshops (COMPSACW) - Vasteras, Sweden (2014.7.21-2014.7.25)] 2014 IEEE 38th International Computer Software and Applications Conference Workshops - Automated Generation of Integration Test Sequences from Logical Contracts

Xu, Dianxiang, Xu, Weifeng, Tu, Manghui

Year:

2014

Language:

english

File:

PDF, 240 KB

english, 2014

50

[IEEE 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) - Kyoto, Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference - Mining Test Oracles for Test Inputs Generated from Java Bytecode

Xu, Weifeng, Ding, Tao, Wang, Hanlin, Xu, Dianxiang

Year:

2013

Language:

english

File:

PDF, 301 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски